Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
351	LGO J´anos D. Pint´er, Pint´er Consulting Services, Inc. Halifax, NS, Canada, B3M 1J2 [removed], http://www.dal.ca/˜jdpinter Contents 1 Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Numerical analysis Numerical software Computer algebra systems Global optimization Mathematical modeling Linear programming Solver AMPL Operations research Mathematical optimization Mathematical software
352	Bruce McCarl's GAMS Newsletter Number 5 Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-07-25 06:05:35 Numerical analysis Mathematics Computer algebra systems Mathematical modeling CPLEX AMPL Linear programming Spreadsheet MPS Operations research Mathematical optimization Applied mathematics
353	Formal Methods Group ETH Zurich ¨ June 2003 Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan Computer Systems Institute ETH Zurich, Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:56:55 Cantons of Switzerland Model checking Boolean satisfiability problem ETH Zurich Røros Formal methods True quantified Boolean formula Zurich Theoretical computer science Boolean algebra Mathematics
354	PDF Document Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Numerical software Mathematical optimization Computer file formats Computer algebra systems Linear programming AMPL MOSEK Sol Operations research Numerical analysis Mathematical software
355	DECIS Gerd Infanger; Vienna University of Technology; Stanford University Contents 1 Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Operations research Mathematical optimization Randomness Computer algebra systems Statistical randomness Stochastic Random variable Monte Carlo method Normal distribution Statistics Probability and statistics Mathematics
356	PDF Document Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Mathematical software Computing Computer algebra systems Mathematical modeling Computer file formats AMPL MINOS Sol MOD Operations research Numerical analysis Mathematical optimization
357	PDF Document Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Science Computing Mathematical modeling AMPL MPS Logic form General Algebraic Modeling System Operations research Mathematical optimization Computer algebra systems
358	Bruce McCarl’s GAMS Newsletter Issue Number 18, June 2005 GAMS 21.7 release GAMS Corporation has released versions 21.6 and 21.7 which expanded some language capabilities. Release notes will be on the GAMS web site at Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-12-05 07:24:27 Numerical software Applied mathematics Mathematical optimization Computer file formats Computer algebra systems KNITRO AMPL BARON Lis Numerical analysis Operations research Mathematical software
359	GAMS/LGO Nonlinear Solver Suite: Key Features, Usage, and Numerical Performance JÁNOS D. PINTÉR Pintér Consulting Services, Inc. 129 Glenforest Drive, Halifax, NS, Canada B3M 1J2 [removed] Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-07-25 05:57:22 Numerical software Applied mathematics Mathematical optimization Computer algebra systems General Algebraic Modeling System Quadratic programming KNITRO Linear programming BARON Mathematical software Numerical analysis Operations research
360	GUROBI 5.6 Gurobi Optimization, www.gurobi.com Contents 1 2 Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Computer file formats Numerical software Computer algebra systems Gurobi Linear programming Quadratic programming AMPL MPS Operations research Mathematical optimization Numerical analysis

UPDATE